disjunctive reasoning

析取性推理(法)